منابع مشابه
Automatic Synthesis of Real Time Systems
This paper presents a method for automatically constructing real time systems directly from their specifications. The model–construction problem is considered for implicit specifications of the form: (A1 | . . . |An |X) sat S where S is a real time (logical) specification, A1 . . . An are given (regular) timed agents and the problem is to decide whether there exists (and if possible exhibit) a ...
متن کاملAutomatic Veri cation of Real { Time Systems ?
Uppaal is a tool suite for automatic veri cation of safety and bounded liveness properties of real-time systems modeled as networks of timed automata. It includes: a graphical interface that supports graphical and textual representations of networks of timed automata, and automatic transformation from graphical representations to textual format, a compiler that transforms a certain class of lin...
متن کاملAutomatic Testing of Real-Time Graphics Systems
In this paper we deal with the general topic of verification of real-time graphic systems. In particular we present the Runtime Graphics Verification Framework (RUGVEF ), where we combine techniques from runtime verification and image analysis to automate testing of graphic systems. We provide a proof of concept in the form of a case study, where RUGVEF is evaluated in an industrial setting to ...
متن کاملAutomatic Verification of Real–Time Systems
Uppaal is a tool suite for automatic veriication of safety and bounded liveness properties of real-time systems modeled as networks of timed automata. It includes: a graphical interface that supports graphi-cal and textual representations of networks of timed automata, and automatic transformation from graphical representations to textual format, a compiler that transforms a certain class of li...
متن کاملDistributed synthesis of real-time computer systems
High-level synthesis has become commonplace in many areas of computing such as VLSI design and digital signal processing. However, it is just beginning to receive attention in the area of real-time systems. Given a real-time application and a design library of components, high-level synthesis involves three main steps: (i) estimation of processors and resources required to meet the constraints ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BRICS Report Series
سال: 1994
ISSN: 1601-5355,0909-0878
DOI: 10.7146/brics.v1i45.21597